From two- to four-valued logic

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Bitopology and Four-valued Logic

Bilattices and d-frames are two different kinds of structures with a four-valued interpretation. Whereas d-frames were introduced with their topological semantics in mind, the theory of bilattices has a closer connection with logic. We consider a common generalisation of both structures and show that this not only still has a clear bitopological semantics, but that it also preserves most of the...

متن کامل

On the number of monotonic functions from two-valued logic to k-valued logic

The problem of number determination of monotonic functions of n variables-i^(n) was formulated and solved for n = 4 by Dedekind [3] in 1897. For n = 5 and n = 6, this problem was solved in Church [2] and in Ward [12] respectively. The further authors bringing the essential improvement of the estimates of \j/(n) were Gilbert [4], Korobkov [8, 9, 10], Hansel [5], and Kleitman [7] who gave an asym...

متن کامل

Two-Valued Logic Programs

We define a nonmonotonic formalism that shares some features with three other systems of nonmonotonic reasoning—default logic, logic programming with strong negation, and nonmonotonic causal logic—and study its possibilities as a language for describing actions. 1998 ACM Subject Classification D.1.6 Logic Programming

متن کامل

A Four-Valued Fuzzy Propositional Logic

It is generally accepted that knowledge based systems would be smarter and more robust if they can manage inconsistent, incomplete or imprecise knowledge. This paper is about a four-valued fuzzy propositional logic, which is the result of the combination of a four-valued logic and a fuzzy propositional logic. Besides the nice computational properties, the logic enables us also to deal both with...

متن کامل

Four-Valued Semantics for Default Logic

Reiter’s default logic suffers the triviality, that is, a single contradiction in the premise of a default theory leads to the only trivial extension which everything follows from. In this paper, we propose a default logic based on fourvalued semantics, which endows default logic with the ability of handling inconsistency without leading to triviality. We define four-valued models for default t...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Banach Center Publications

سال: 1993

ISSN: 0137-6934,1730-6299

DOI: 10.4064/-28-1-9-16